Cho G = ( X , E ) {\displaystyle G=(X,E)} là một đồ thị vô hướng lưỡng phân với hai tập X 1 {\displaystyle X_{1}} và X 2 {\displaystyle X_{2}} phân hoạch X {\displaystyle X} ( X 1 {\displaystyle X_{1}} ≠ {\displaystyle \neq } Ø ≠ {\displaystyle \neq } X 2 {\displaystyle X_{2}} và X 1 {\displaystyle X_{1}} ⋃ {\displaystyle \bigcup } X 2 {\displaystyle X_{2}} = Ø). Khi đó G {\displaystyle G} được gọi là lưỡng phân đầy đủ nếu:

     * Với mọi cặp đỉnh(i,j) mà i                     ∈              {\displaystyle \in }                                 X                      1                                {\displaystyle X_{1}}   và j                     ∈              {\displaystyle \in }                                 X                      2                                {\displaystyle X_{2}}   thì có đúng một cạnh của G nối i và j.

• Mối tương quan giữa đồ thị đầy đủ và đồ thị hai phía đầy đủ:[2]

     * Đồ thị đầy đủ                               K                      n                                {\displaystyle K_{n}}   có: n đỉnh,                                                                                                                                       n                  .                  (                  n                  −                  1                  )                                                                                                                                                  2                                                                          {\displaystyle {\cfrac {n.(n-1)}{2}}}   cạnh     * Đồ thị hai phía đầy đủ                               K                      m            ,            n                                {\displaystyle K_{m,n}}   có: m + n đỉnh, m.n cạnh